C-K theory

Results: 312



#Item
61Automaton / Technology / Computing / Automata theory / Software / Frama-C / Linear temporal logic

Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto ,

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:03
62International relations / International relations theory / Techno / Microhouse / Bisky / Political science / Culture / Marxist theory / Cultural hegemony / Hegemony

Co La Hegemony of Delete [Primary Information; 2014] By J A C K S O N S C O T T STYLES: workplace

Add to Reading List

Source URL: www.primaryinformation.org

Language: English - Date: 2014-11-10 11:41:01
63Modal analysis / Insert / Noise /  vibration /  and harshness / Foam / Hybrid electric vehicle / Engineering / Construction / Technology / Sandwich theory / Composite materials / Earthquake engineering / Mechanical engineering

Transport Research Arena 2014, Paris Bus BiW Weight Optimization Using Composite Sandwich Panels Neves P. C.a , *, Fernandes A. A.a, Lantz D.b , Carldén L.b , & Andersson K. b a Instituto de Engenharia Mecânica (IDMEC

Add to Reading List

Source URL: tra2014.traconference.eu

Language: English - Date: 2015-01-12 09:28:48
64Conjectures / Hypotheses / Riemann hypothesis / Riemann zeta function / Dirichlet series / Mertens conjecture / Mertens function / Dirac delta function / Dirichlet eta function / Mathematical analysis / Mathematics / Analytic number theory

INFORMATION-THEORETIC EQUIVALENT OF RIEMANN HYPOTHESIS K. K. NAMBIAR A BSTRACT. Riemann Hypothesis is viewed as a statement about the capacity of a communication channel as defined by Shannon. C ONTENTS

Add to Reading List

Source URL: empslocal.ex.ac.uk

Language: English - Date: 2003-08-23 13:22:54
65Joseph Fourier / Unitary operators / Integral transforms / Fourier transform / Fourier series / Fourier inversion theorem / Poisson summation formula / Sturm–Liouville theory / Hermite polynomials / Mathematical analysis / Fourier analysis / Generalized functions

640 Acta CrystA48, S o m e R e m a r k s on Q u a s i - C r y s t a l Structure BY BARRY W. NINHAM* AND SVEN LIDIN

Add to Reading List

Source URL: empslocal.ex.ac.uk

Language: English - Date: 2003-07-11 15:11:28
66Cubes / Hamming distance / Metric geometry / Distance / Closest string / Geometry / Mathematics / Coding theory

Finding Optimal Alignment and Consensus of Circular Strings T. Lee*, J.C. Na, H. Park, K. Park, and J.S. Sim *Seoul National University June 23, 2010

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2010-08-20 17:46:00
67Ethology / Social psychology / Cognitive neuroscience / Communication theory / Cognition / Priming / Empathy / Contract / Recall / Mind / Cognitive science / Memory

Journal of Consumer Research, Inc. The Role of Relationship Norms in Responses to Service Failures Author(s): Lisa C. Wan, Michael K. Hui, Robert S. Wyer Jr. Reviewed work(s): Source: Journal of Consumer Research, Vol.

Add to Reading List

Source URL: www.bm.ust.hk

Language: English - Date: 2012-03-06 04:00:19
68Systems science / Science / Systems engineering / Knowledge / Academia / Systems theory / Cybernetics / System

Synchronisation and Delay in a Formal Model of User Cognition1 D. Duke, G. Faconti and M. Massink Department of Computer Science, University of York, Heslington, York, YO1 5DD, U.K. email: C.N.R.

Add to Reading List

Source URL: ui4all.ics.forth.gr

Language: English - Date: 2007-11-27 14:03:36
69FO / Finite model theory

O u r Pe r fo r m a n ce - t a k i n g a c t ion on c l i m ate c h a n g e O u r Pe r fo r m a n ce - t a k i n g a c t ion on c l i m ate c h a n g e City of Port Phillip bus drivers

Add to Reading List

Source URL: m.portphillip.vic.gov.au

Language: English - Date: 2014-10-30 06:31:02
70Random graph / Graph coloring / Graph / Degree / Line graph / Path decomposition / Graph theory / Mathematics / Theoretical computer science

Convergent Sequences of Dense Graphs I: Subgraph Frequencies, Metric Properties and Testing C. Borgsa , J.T. Chayesa , L. Lov´asza∗, V.T. S´osb†, K. Vesztergombic a b

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2007-01-31 16:12:19
UPDATE